科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:加密设备控制软件的正式规范和验证
D. Richard Kuhn; James F. Dray;
机译:用于设计和验证CNC系统的可靠软件的正式规范框架
机译:端到端正式规范,验证和验证过程:太空飞行软件的案例研究
机译:使用PVS形式验证SCR样式的软件需求规范的功能属性
机译:JVM及其字节码验证程序的正式规范和验证。
机译:网络物理系统中控制模块的正式验证
机译:用于设计和验证计算机数控(CNC)系统的可靠可靠软件的正式规范和验证框架
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术
机译:设备正式验证一致性管理软件系统微控制器设计规范
机译:用于软件规范的形式验证辅助装置及其方法
机译:验证支持设备和用于软件定义的网络环境中的网络服务链的正式验证的方法,以及具有验证支持设备的正式验证设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。